Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Författare
(Edited by Daniel Kroening, Corina S. Păsăreanu.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer International Publishing, Imprint: Springer 2015 Tyskland, Cham XVIII, 469 sidor. 107 illus. online resource. 978-3-319-21668-3
Springer International Publishing, Imprint: Springer 2015 Tyskland, Cham XXIII, 677 sidor. 141 illus. online resource. 978-3-319-21690-4